معناشناسی اندازه بنیاد برای منطق وجهی

پایان نامه
چکیده

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر اندازه لبگ تعبیر می شود، بیان کرده است‎. معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 به معناشناسی اندازه بنیاد برای منطق دو وجهی s4c که در آن دایره -وجه با -‎o عملگر روی جبر اندازه لبگ تعبیر می شود، گسترش خواهد یافت. این پایان نامه به تشریح بازبرد ‎[9]‎ می پردازد: در نهایت نشان داده خواهد شد منطق s4c برای جبر اندازه لبگ کامل است. در بخش پایانی این پایان نامه مدل تک اندازه ای مطرح خواهد شد که در تمام ناقضیه های منطق s4c رد خواهد شد.

منابع مشابه

منطق وجهی برای توپولوژی

منطق وجهی به عنوان یک زبان برای بحث در مورد فضاهای توپولوژیک، حدود 60 سال سابقه دارد. در اصل انگیزه های اولیه این تحقیق و مطالعه صرفاً ریاضی بوده است ولی اخیراً کاربردهای علم کامپیوتر نیز دلایل دیگری به آن افزوده است. از مهمترین موضوعات در منطق وجهی گسترش زبان های وجهی و مطالعه قدرت بیان آنها می باشد. مراجع [1و2و3و4] در بردارنده بخشی ازاین تلاشها می باشد. در چشم انداز زبانهای فضایی زبان های وجه...

15 صفحه اول

منطق وجهی دینامیک

در این پایان نامه به یک منطق وجهی و دوگان آنها که شامل ‎4 وجه دینامیکی لزوم در همه ی وضعیت ها و ‎ لزوم بعضی وضعیت ها و دوگان آنها ‎ ممکن در همه وضعیت ها و ‎ ممکن در بعضی وضعیت ها پرداخته می شود. ما یک اصل بندی کامل با رعایت اصول و قواعد معناشناسی ارائه می دهیم و قضیه ی تمامیت و همچنین تصمیم پذیری به وسیله ی خاصیت مدل متناهی را برای این منطق اثبات می نماییم.

منطق وجهی کلاسیک مرتبه اول

در این پایان نامه سیستم های کلاسیک مرتبه اول با استفاده از مدل های همسایگی مرتبه اول بررسی خواهند شد. در این مدل ها قالب های اصل موضوعی بارکان و عکس آن بر خلاف مدل های کریپکی همیشه معتبر نیستند. در فصل یک ابتدا منطق وجهی گزاره ای و معناشناسی همسایگی را به عنوان مطالب مقدماتی بررسی کرده و تعدادی از قضایای پایه ای در این زمینه را بیان می کنیم. در فصل دو معناشناسی کریپکی برای منطق وجهی مرتبه او...

15 صفحه اول

طراحی چارچوب کنترل کیفیت برای موسسات حسابرسی و نهاد ناظر در ایران به روش نظریه داده بنیاد چند وجهی

علی رغم نفش تعیین کننده موسسات حسابرسی و نهاد ناظر در کیفیت حسابرسی،  در پژوهش های انجام شده به عوامل تاثیرگذار بر کیفیت خود آنها کمترپرداخته شده است. از نظر روش شناسی نیز بیشتر پژوهش های انجام شده در زمینه کیفیت حسابرسی، در سطح کار و به صورت تجربی، مروری، آرشیوی بوده و به پژوهش های کیفی کمتر توجه شده است.  در پژوهش حاضر به کمک روش کیفی نظریه داده بنیاد چند وجهی و از طریق مصاحبه نیمه ساخت یافته...

متن کامل

تصور، امکان مفهومی و معرفت وجهی؛ نقدی به مدل ایچیکاوا و جارویس برای کسب معرفت وجهی

در این مقاله مدل پیشنهادی ایچیکاوا و جارویس (2011) برای تبیین کسب معرفت وجهی (یا امکان کسب چنین معرفتی) با استفاده از تصور را بررسی کرده­ام. ایچیکاوا و جارویس پس از تعریفِ مفهوم «تصور منسجم» ادعا می­کنند که با تصور منسجم، گرچه به امکان متافیزیکی نمی­رسیم اما به نوع دیگری از امکان، یعنی امکان مفهومی دست می­یابیم. ایشان در توضیح این­که چه گزاره­ای ممکن مفهومی است از انگاره «استلزام مفهومی» استفاده...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023